discrete timed interval temporal logic
Extended Interval Temporal Logic
point-interval temporal logic
alternating-time temporal logic
Alternating-time Temporal Logic ATL
branching-time temporal logic
finite propositioanl linear temporal logic
Linear Temporal Logic LTL
Linear time temporal logic
modified linear time temporal logic
partial order temporal logic
Projection Temporal Logic
temporal logic formula rewriting
Temporal Logic Language
Temporal Logic of Action